| author | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 20:32:55 +0000 (12:32 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 20:32:55 +0000 (12:32 -0800) | ||
| commit | 5ce1bc7f577c920a101c9e2ea6b37dd278f830d7 | |
| tree | 1faefc7900d197fb6bd877f2f6b1a329152c794a | tree | snapshot |
| parent | 2144f0de05559495a5accaaac28a89b38ad8ea93 | commit | diff |
| doc/misc/ses.texi | diff | blob | history |